a nonincreasing function - German English Dictionary